<%= htmlify(docstring_text) %>
